- бифунктор
- bifunctor
Русско-английский научный словарь.
бифунктор
Look at other dictionaries:
БИФУНКТОР — отображение Т:. , определенное на декартовом произведении категорий со значениями в , сопоставляющее каждой паре объектов нек рый объект и каждой паре морфизмов a морфизм Как правило, требуется также выполнение условий … Математическая энциклопедия
ЗАМКНУТАЯ КАТЕГОРИЯ — категория с дополнительной структурой, позволяющей использовать внутренний Hom функтор как сопряженный справа функтор к абстрактному тензорному произведению. Категория наз. замкнутой, если в ней задан бифунктор (см. Функтор), выделен объект I,… … Математическая энциклопедия
МНОЖЕСТВ КАТЕГОРИЯ — категория, объектами к рой являются всевозможные множества, морфиз мами всевозможные отображения множеств друг в друга, и умножение морфизмов определяется как последовательное выполнение отображений и Если теоретико категорные рассмотрения… … Математическая энциклопедия
МОНОИД — термин, используемый для сокращения словосочетания полугруппа с единицей . Таким образом, моноидом наз. множество М, на к ром задана бинарная ассоциативная операция, обычно именуемая умножением, и в к ром существует такой элемент е, что для… … Математическая энциклопедия
